<?php
// This file contains functions specific to
// querying the database management system.

function mysqlconnect ($dbhost, $dbport, $dbusername, $dbpassword)
{
	// Make a connection to a MySQL RDBMS using the configuration files in config.php.
	$sqlconnection = mysql_connect($dbhost . ":" . $dbport, $dbusername, $dbpassword) or die ("Error connecting to MySQL!!!\n" . $sqlconnection);
	mysql_select_db($dbname);
	return $sqlconnection;
}

function mysqldisconnect ()
{
	// Just close the connection.
	mysql_close($sqlconnection);
}

?>
